Skip to content

ci(codeql): converge to canonical language-autodetect workflow (Refs #8)#21

Merged
hyperpolymath merged 1 commit into
mainfrom
fix/codegen-k9-magic-pedigree
May 21, 2026
Merged

ci(codeql): converge to canonical language-autodetect workflow (Refs #8)#21
hyperpolymath merged 1 commit into
mainfrom
fix/codegen-k9-magic-pedigree

Conversation

@hyperpolymath
Copy link
Copy Markdown
Owner

k9iser's codeql.yml was a stale hardcoded javascript-typescript-only matrix (left as a local security workflow by the b618a53 bundle migration). On this Rust-only repo CodeQL exits with a permanent false-red 'no source / configuration error' on the analyze job.

Replace it verbatim with the canonical estate template shipped by rsr-template-repo / v3-templater / reposystem: a detect job reads the repo's actual language stats and only analyses CodeQL-supported, buildless-safe languages (here: rust), skipping entirely when none apply. Also brings the estate concurrency guardrail (cancel superseded runs). This is resolve-at-source + convergence to the central canonical template rather than a k9iser-local divergence.

Summary

Changes

RSR Quality Checklist

Required

  • Tests pass (just test or equivalent)
  • Code is formatted (just fmt or equivalent)
  • Linter is clean (no new warnings or errors)
  • No banned language patterns (no TypeScript, no npm/bun, no Go/Python)
  • No unsafe blocks without // SAFETY: comments
  • No banned functions (believe_me, unsafeCoerce, Obj.magic, Admitted, sorry)
  • SPDX license headers present on all new/modified source files
  • No secrets, credentials, or .env files included

As Applicable

  • .machine_readable/STATE.a2ml updated (if project state changed)
  • .machine_readable/ECOSYSTEM.a2ml updated (if integrations changed)
  • .machine_readable/META.a2ml updated (if architectural decisions changed)
  • Documentation updated for user-facing changes
  • TOPOLOGY.md updated (if architecture changed)
  • CHANGELOG or release notes updated
  • New dependencies reviewed for license compatibility (PMPL-1.0-or-later / MPL-2.0)
  • ABI/FFI changes validated (src/interface/abi/ and src/interface/ffi/ consistent)

Testing

Screenshots

k9iser's codeql.yml was a stale hardcoded `javascript-typescript`-only
matrix (left as a local security workflow by the b618a53 bundle
migration). On this Rust-only repo CodeQL exits with a permanent
false-red 'no source / configuration error' on the analyze job.

Replace it verbatim with the canonical estate template shipped by
rsr-template-repo / v3-templater / reposystem: a detect job reads the
repo's actual language stats and only analyses CodeQL-supported,
buildless-safe languages (here: rust), skipping entirely when none
apply. Also brings the estate concurrency guardrail (cancel superseded
runs). This is resolve-at-source + convergence to the central canonical
template rather than a k9iser-local divergence.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@hyperpolymath hyperpolymath merged commit 20c55c4 into main May 21, 2026
30 checks passed
@hyperpolymath hyperpolymath deleted the fix/codegen-k9-magic-pedigree branch May 21, 2026 06:52
@github-actions
Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 13 issues detected

Severity Count
🔴 Critical 1
🟠 High 3
🟡 Medium 9

⚠️ Action Required: Critical security issues found!

View findings
[
  {
    "reason": "Issue in quality.yml",
    "type": "missing_workflow",
    "file": "quality.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Issue in security-policy.yml",
    "type": "missing_workflow",
    "file": "security-policy.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Action actions/upload-artifact@v4 needs attention",
    "type": "unpinned_action",
    "file": "release.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action actions/download-artifact@v4 needs attention",
    "type": "unpinned_action",
    "file": "release.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Download-and-execute pattern (curl|wget pipe to shell) -- verify integrity before execution (3 occurrences, CWE-494)",
    "type": "shell_download_then_run",
    "file": "/home/runner/work/k9iser/k9iser/setup.sh",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "line": 24,
    "reason": "Secret found: Generic API key",
    "type": "secret_detected",
    "file": "/home/runner/work/k9iser/k9iser/.envrc",
    "action": "revoke_rotate_and_purge",
    "rule_module": "security_errors",
    "severity": "critical"
  },
  {
    "reason": "Nominal-only SAST in k9iser: codeql.yml language matrix contains no language present in the repo and lacks `actions`, so CodeQL records zero results on every commit. Remediation: set the CodeQL matrix to `language: actions`.",
    "type": "StaticAnalysis",
    "file": "/home/runner/work/k9iser/k9iser",
    "action": "auto_fix",
    "rule_module": "scorecard",
    "severity": "medium",
    "remediation": "Add CodeQL or equivalent SAST workflow.",
    "scorecard_check": "SAST"
  },
  {
    "reason": "1 workflow(s) with tag-pinned (not SHA-pinned) actions in k9iser",
    "type": "DependencyPinning",
    "file": "/home/runner/work/k9iser/k9iser",
    "action": "auto_fix",
    "rule_module": "scorecard",
    "severity": "medium",
    "remediation": "Pin GitHub Actions and Docker base images by SHA hash.",
    "scorecard_check": "Pinned-Dependencies"
  },
  {
    "reason": "Repository has 1 non-main remote branch(es). Policy: single main branch only.",
    "type": "GS007",
    "file": ".",
    "action": "delete_remote_branches",
    "rule_module": "git_state",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant